let f() =
  ()
